Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
101	leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨ Add to Reading List Source URL: www.jens-otten.de Language: English - Date: 2012-03-30 11:05:48
102	Curry-Howard for GUIs: classical linear linear temporal logic (work in progress!) Steve Zdancewic Jennifer Paykin Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-07-21 03:25:55
103	Languages for Computational Creativity Generative Art and Interactive Worlds (Full Presentation) Chris Martens Carnegie Mellon University Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-15 09:36:35 Logic Visual arts Abstraction Programming paradigms Non-classical logic Formal languages Grammar Logic in computer science Generative art Logic programming Linear logic Generative music
104	leanCoP 2.0 and ileanCoP 1.2 : High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) Jens Otten Institut f¨ Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2009-07-21 13:21:10
105	Microsoft PowerPoint - Dissvortrag-Version_2007-11-08_online.ppt Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:20:07 Logic Mathematical logic Abstraction Syntax Propositional calculus Non-classical logic Boolean algebra Matrix Well-formed formula Proposition Tautology First-order logic
106	Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic Marc Denecker and Joost Vennekens December 12, 2008 Add to Reading List Source URL: people.cs.kuleuven.be Language: English
107	Aristotle, Boole, and Chu Duality since 350 BC Vaughan Pratt Stanford University August 27, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-08-27 01:51:39 Logic Mathematical logic Abstraction Boolean algebra Term logic Classical logic Arguments Syllogism Propositional calculus George Boole Converse Prior Analytics
108	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics
109	Answer Set Programming’s Contributions to Classical Logic An analysis of ASP methodology Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, and Maurice Bruynooghe Department of Computer Science, K.U. Leuve Add to Reading List Source URL: people.cs.kuleuven.be Language: English

UPDATE